MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 21:47:52 GMT
Content-Type: text/html
Content-Length: 3468
Last-Modified: Friday, 03-Jan-97 19:12:19 GMT

<TITLE>Academic References</TITLE>
<center>
<H1>
Academic References
</H1>
</center>

<hr>

<H2>
<!WA0><img src="http://www.cs.utexas.edu/images/stanford/ball.pink.gif" ALT=>
My research area -- VLSI CAD
</H2>
<blockquote>
<li><!WA1><A HREF="http://www.cs.utexas.edu/users/haizhou/cad.html"> My Links to VLSI CAD</A>
<li><!WA2><A HREF="http://www.mrc.uidaho.edu/vlsi/vlsi.html">
    U Adaho Links to VLSI Servers</A>
</blockquote>

<p><hr>
<h2>
<!WA3><img src="http://www.cs.utexas.edu/images/stanford/ball.pink.gif" ALT=>
Other Interesting Computer Science and Mathematics Links
</h2>
<blockquote>
<LI> <!WA4><A HREF="http://www.cs.cmu.edu/afs/cs/misc/mosaic/common/omega/Web/compsci.html"> Computer Science Resources</A> (by CMU)
<li> <!WA5><A HREF="http://www.cs.toronto.edu/~paige/otherFMSites.html">Formal 
     Method Sites</A>
<li> <!WA6><A HREF="http://www.cs.mu.oz.au/archive/formal-methods.html">
     The World Wide Web Virtual Library: Formal Methods</A>
<li> <!WA7><A HREF="http://www.nada.kth.se/nada/theory/">
     Theoretical Computer Science</A>
<li> <!WA8><A HREF="http://www.eccc.uni-trier.de/eccc/">ECCC </a> -- 
     The Electronic Colloquium on Computational Complexity
<li> <!WA9><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/dennis/www/theory/theory-home.html">Dennis's Theory Page</A>
<li> <!WA10><A HREF="http://www.nada.kth.se/~viggo/problemlist/compendium.html">
     A compendium of NP optimization problems</A>
<li> <!WA11><A HREF="http://dimacs.rutgers.edu/">DIMACS </a> Center for Discrete 
     Mathematics and Theoretical Computer Science at Rutgers
<li> <!WA12><A HREF="http://www.cs.berkeley.edu/~jeffe/compgeom.html">
     Computational Geometry Pages</A>
<li> <!WA13><A HREF="http://www.wri.com/mathsource/">
     MathSource Home Page</A>
<li> <!WA14><A HREF="http://theory.lcs.mit.edu/~rivest/crypto-security.html">
     Ronald L. Rivest : Cryptography and Security</A>
<li> <!WA15><A HREF="http://www-cs-staff.Stanford.EDU/~knuth/">
     Don Knuth's Home Page</A>
<li> <!WA16><A HREF="http://www.ams.org/">e-MATH Home Page</A>
<li> <!WA17><a href="http://math.technion.ac.il/department/journals.html">
     Math Journals</a>
<li> <!WA18><A HREF="http://www.wisdom.weizmann.ac.il/~naor/puzzler.html">
     The Puzzler</A> (in Weizmann Institute)
<li> The Mathematical Association of America <!WA19><A HREF="http://www.maa.org/">
     MAA Online</A>
</blockquote>

<hr>

<H2>
Computer Science Technique Reports
</H2>
<blockquote>
<li><!WA20><A HREF="http://www.ncstrl.org/Dienst/htdocs/Info/about-ncstrl.html">
    Networked Computer Science Technical Reports Library</A>
<li><!WA21><A HREF="http://www.cs.indiana.edu/cstr/search">
    Technique Report Index Search</A>
<li><!WA22><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/jblythe/Mosaic/cs-reports.html">
    On-line CS Technique Reports by Jim Blythe of CMU</A>
</blockquote>

<p><hr>

<H2>
Bibliography
</H2>
<blockquote>
<li> <!WA23><A HREF="http://theory.lcs.mit.edu/~dmjones/hbp/">
     The Hypertext Bibliography Project</A>
<li> <!WA24><a href="http://glimpse.cs.arizona.edu:1994/bib/">
     Computer Science Bibliography Glimpse Server</a>
<li> <!WA25><A HREF="ftp://ftp.cs.columbia.edu/archives/bibliographies/index.html">
     The Collection of Computer Science Bibliographies</A>
</blockquote>

<hr>

<H2>
Local Library
</H2>
<blockquote>
<li><!WA26><a href="http://www.lib.utexas.edu/">UT General Libraries</a>
<LI> <!WA27><A HREF="http://www.lib.utexas.edu/Indexes/E.html">E-index</A>
</blockquote>

<hr>
<h2>
Professional Organizations
</h2>
<blockquote>
<li><!WA28><A HREF = "http://www.acm.org/">ACM</A>
<li><!WA29><a href="http://www.computer.org/">IEEE Computer Society</a>
<li> <!WA30><a href="http://www.ieee.org"> IEEE </a>
</blockquote>
